The Importance of Being Discrete
نویسندگان
چکیده
The paper discusses discrete frames as an attractive semantics for modal logic. We study questions of completeness, persistence, duality and definability. Notions of completeness, strong global completeness and complexity of dual varieties coincide for discrete frames; moreover, they are equivalent to conservativity of minimal hybrid extensions. The paper also provides some criteria of di-persistence and a Goldblatt-Thomason theorem for discrete frames.
منابع مشابه
Optimal discrete-time control of robot manipulators in repetitive tasks
Optimal discrete-time control of linear systems has been presented already. There are some difficulties to design an optimal discrete-time control of robot manipulator since the robot manipulator is highly nonlinear and uncertain. This paper presents a novel robust optimal discrete-time control of electrically driven robot manipulators for performing repetitive tasks. The robot performs repetit...
متن کاملApplication of Independent Joint Control Strategy for Discrete-Time Servo Control of Overhead Cranes
In this study, a new servo control system is presented for the overhead crane based on discrete-time state feedback approach. It provides both robust tracking and load swing suppression. Inspired from independent joint and computed torque control in robot manipulator field, a new model is derived in which the crane actuators are considered as the main plant. The crane nonlinearities are then tr...
متن کاملMODELLING AND ANALYSIS OF A DISCRETE-TIME PRIORITY QUEUING COMPUTER NETWORK WITH PRIORITY JUMPS USING PROBABILITY GENERATING FUNCTIONS
Priority queues have a great importance in the study of computer communication networks in which different types of traffic require different quality of service standards. The discrete-time non-preemptive priority queuing model with priority jumps is proposed in this paper. On the basis of probability generating functions mean system contents and mean queuing delay characteristics are obtained....
متن کاملFault Strike Detection Using Satellite Gravity Data Decomposition by Discrete Wavelets: A Case Study from Iran
Estimating the gravity anomaly causative bodies boundary can facilitate the gravity field interpretation. In this paper, 2D discrete wavelet transform (DWT) is employed as a method to delineate the boundary of the gravity anomaly sources. Hence, the GRACE’ satellite gravity data is decomposed using DWT. DWT decomposites a single approximation coefficients into four distinct components: the appr...
متن کاملInvestigating the effect of flow entrance and existence of baffle on sedimentation efficiency using Discrete Phase Model (DPM)
Presence of salts in water has been one of the biggest problems of industrial equipment such as evaporators, boilers, and pipes. These salts gradually form scales on evaporators and boilers tubes and reduce their efficiency. Pretreatment processes are conducted to remove these salts; with sedimentation tanks being one of the essential equipment used in these processes. This study numerically si...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کامل